unformalized language

unformalized language
мат.
неформализованный язык

English-Russian scientific dictionary. 2008.

Игры ⚽ Нужен реферат?

Смотреть что такое "unformalized language" в других словарях:

  • Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… …   Wikipedia

  • Indo-Greek Kingdom — Infobox Former Country native name = conventional long name = Indo Greek Kingdom common name = Indo Greek Kingdom continent = Asia region = country = era = Antiquity status = event start = year start = 180 BC date start = event1 = date event1 =… …   Wikipedia

  • Legacy of the Indo-Greeks — The Legacy of the Indo Greeks starts with the formal end of the Indo Greek Kingdom from the 1st century CE, as the Greek communities of central Asia and northwestern India lived under the control of the Kushan branch of the Yuezhi, apart from a… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Greco-Buddhism — [ Buddha, in Greco Buddhist style, 1st 2nd century CE, Gandhara (Modern Pakistan). (Standing Buddha (Tokyo National Museum)).] Greco Buddhism, sometimes spelt Graeco Buddhism, refers to the cultural syncretism between Hellenistic culture and… …   Wikipedia

  • Aniconism — is the practice or belief in avoiding or shunning the graphic representation of divine beings or religious figures, or in different manifestations, any human beings or living creatures. The term aniconic may be used to describe the absence of… …   Wikipedia

  • Book of Revelation — For other uses, see Book of Revelation (disambiguation). Books of the New Testament …   Wikipedia

  • Sluggish cognitive tempo — (SCT) is an unformalized descriptive term which is used to better identify what appears to be a homogeneous sub subgroup within the formal subgroup ADHD predominantly inattentive (ADHD I or ADHD PI) classification in the Diagnostic and… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»